Software Systems Construction with Examples in Ada
نویسندگان
چکیده
منابع مشابه
Ada for Software Engineers - Second Edition with Ada 2005
Save a place on your bookshelf next to John Barnes' book for this new edition of Ben-Ari's introduction to Ada 2005 for experienced programmers. Like the Barnes book, this one covers nearly all aspects of the Ada 2005 language. But this book also includes coverage of the container library, and the Annexes for Systems Programming, Real-Time Systems (including the Ravenscar Profile), Distributed ...
متن کاملSoftware Systems Modeling : Requirements , Examples , Experience
Mother is superclass of Mother X X X X X Mother is subclass of AbstractMother X X X X X AbstractMother implements IParent and IChild X X X X XMother implements IParent and IChild X X X X X IParent is implemented by AbstractMother X X X X X IChild is implemented by AbstractMother X X X X X IFather extends IParent and IChild X X X X X IParent is generalization of IFather X X X X X IChild is gener...
متن کاملAn Ada Software Design Evaluation
This paper discusses a metrics approach for analyzing software designs that helps designers engineer quality into the design product. These metrics gauge project quality as well as design complexity at all times during the design phase. The metrics are developed from primitive design metrics which are predictive, objective and automatable. The architectural design metrics used are comprised of ...
متن کاملMegamaps: Construction and Examples
We consider the usual model of hypermaps or, equivalently, bipartite maps, represented by pairs of permutations that act transitively on a set of edges E. The specific feature of our construction is the fact that the elements of E are themselves (or are labelled by) rather complicated combinatorial objects, namely, the 4-constellations, while the permutations defining the hypermap originate fro...
متن کاملAda 95 and Safety-critical Software
The revised Ada standard (ISO/IEC-8652:1995, commonly referred to as Ada 95) was released by the International Standards Organization (ISO) in February 1995. One of the unique features of this standard is that it is divided into a Core Language, which must be fully implemented, and several Specialized Needs Annexes, which provide standard definitions for additional features for particular appli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1994
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/37.6.545